Testing with Inputs and Outputs in CSP
نویسندگان
چکیده
This paper addresses refinement and testing based on CSP models, when we distinguish input and output events. From a testing perspective, there is an asymmetry: the tester (or the environment) controls the inputs, and the system under test controls the outputs. The standard models and refinement relations of CSP are, therefore, not entirely suitable for testing. Here, we adapt the CSP stable-failures model to consider an alphabet of events partitioned into inputs and outputs, resulting in the notion of input-output failures refinement. We compare that with the ioco relation often used in testing: they are incomparable, but for input-enabled processes, ioco is strictly stronger. Finally, we adapt the CSP testing theory to take into account inputs and outputs, and show that some tests become unnecessary.
منابع مشابه
Modelling of Conventional and Severe Shot Peening Influence on Properties of High Carbon Steel via Artificial Neural Network
Shot peening (SP), as one of the severe plastic deformation (SPD) methods is employed for surface modification of the engineering components by improving the metallurgical and mechanical properties. Furthermore artificial neural network (ANN) has been widely used in different science and engineering problems for predicting and optimizing in the last decade. In the present study, effects of conv...
متن کاملCommon weights for the evaluation of decision-making units with nonlinear virtual inputs and outputs
In this paper, by investigating the common weights concept and DEA models with nonlinear virtual inputs/outputs, we introduce a model for evaluating the decision making units with nonlinear virtual inputs and outputs based on the common weights.
متن کاملTesting for Refinement in CSP
CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective tool have encouraged much work on algebraic reasoning and model checking. Testing techniques based on CSP models, however, have not been widely explored, and in this paper we take a first step by instantiating a long standing th...
متن کاملClassifying inputs and outputs in interval data envelopment analysis
Data envelopment analysis (DEA) is an approach to measure the relative efficiency of decision-making units with multiple inputs and multiple outputs using mathematical programming. In the traditional DEA, it is assumed that we know the input or output role of each performance measure. But in some situations, the type of performance measure is unknown. These performance measures are called flexi...
متن کاملInputs and Outputs Estimation in Inverse DEA
The present study addresses the following question: if among a group of decision making units, the decision maker is required to increase inputs and outputs to a particular unit in which the DMU, with respect to other DMUs, maintains or improves its current efficiencylevel, how much should the inputs and outputs of the DMU increase? This question is considered as a problem of inverse data envel...
متن کامل